Calinescu, Radu: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

1

Evaluating cloud database migration options using workload models

Ellison, Martyn, Calinescu, Radu, Paige, Richard F.

Journal:

Journal of Cloud Computing

Year:

2018

Language:

english

File:

PDF, 3.93 MB

english, 2018

2

[IEEE 2017 IEEE/ACM 12th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS) - Buenos Aires, Argentina (2017.5.22-2017.5.23)] 2017 IEEE/ACM 12th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS) - Self-Adaptive Role-Based Access Control for Business Processes

da Silva, Carlos Eduardo, da Silva, Jose Diego Saraiva, Paterson, Colin, Calinescu, Radu

Year:

2017

Language:

english

File:

PDF, 315 KB

english, 2017

3

[IEEE 2009 IEEE 31st International Conference on Software Engineering - Vancouver, BC, Canada (2009.05.16-2009.05.24)] 2009 IEEE 31st International Conference on Software Engineering - Using quantitative analysis to implement autonomic IT systems

Calinescu, Radu, Kwiatkowska, Marta

Year:

2009

Language:

english

File:

PDF, 519 KB

english, 2009

4

Erratum to ``Efficient synthesis of robust models for stochastic systems'' [The Journal of Systems & Software 143 (2018) 140–158]

Calinescu, Radu, Češka, Milan, Gerasimou, Simos, Kwiatkowska, Marta, Paoletti, Nicola

Journal:

Journal of Systems and Software

Year:

2018

Language:

english

File:

PDF, 133 KB

english, 2018

5

[IEEE 2019 IEEE/ACM 14th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS) - Montreal, QC, Canada (2019.5.25-2019.5.25)] 2019 IEEE/ACM 14th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS) - Using Unstructured Data to Improve the Continuous Planning of Critical Processes Involving Humans

Paterson, Colin, Calinescu, Radu, Manandhar, Suresh, Wang, Di

Year:

2019

Language:

english

File:

PDF, 1.84 MB

english, 2019

6

[ACM Press the 12th IEEE/ACM International Conference - Auckland, New Zealand (2019.12.02-2019.12.05)] Proceedings of the 12th IEEE/ACM International Conference on Utility and Cloud Computing Companion - UCC '19 Companion - Taming Service Uncertainty through Probabilistic Model Learning, Analysis and Synthesis

Calinescu, Radu

Year:

2019

Language:

english

File:

PDF, 701 KB

english, 2019

7

[Lecture Notes in Computer Science] Software Engineering and Formal Methods Volume 9276 || An Extensible Operational Semantics for UML Activity Diagrams

Calinescu, Radu, Rumpe, Bernhard

Year:

2015

Language:

english

File:

PDF, 569 KB

english, 2015

8

[IEEE 2019 IEEE/ACM 14th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS) - Montreal, QC, Canada (2019.5.25-2019.5.25)] 2019 IEEE/ACM 14th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS) - Modelling and Analysing Resilient Cyber-Physical Systems

Bennaceur, Amel, Ghezzi, Carlo, Tei, Kenji, Kehrer, Timo, Weyns, Danny, Calinescu, Radu, Dustdar, Schahram, Hu, Zhenjiang, Honiden, Shinichi, Ishikawa, Fuyuki, Jin, Zhi, Kramer, Jeffrey, Litoiu, Marin

Year:

2019

Language:

english

File:

PDF, 596 KB

english, 2019

9

[IEEE 2019 IEEE/ACM 2nd International Workshop on Robotics Software Engineering (RoSE) - Montreal, QC, Canada (2019.5.27-2019.5.27)] 2019 IEEE/ACM 2nd International Workshop on Robotics Software Engineering (RoSE) - Towards Systematic Engineering of Collaborative Heterogeneous Robotic Systems

Gerasimou, Simos, Matragkas, Nicholas, Calinescu, Radu

Year:

2019

Language:

english

File:

PDF, 117 KB

english, 2019

10

[IEEE 2019 IEEE/ACM 5th International Workshop on Software Engineering for Smart Cyber-Physical Systems (SEsCPS) - Montreal, QC, Canada (2019.5.28-2019.5.28)] 2019 IEEE/ACM 5th International Workshop on Software Engineering for Smart Cyber-Physical Systems (SEsCPS) - Socio-Cyber-Physical Systems: Models, Opportunities, Open Challenges

Calinescu, Radu, Camara, Javier, Paterson, Colin

Year:

2019

Language:

english

File:

PDF, 102 KB

english, 2019

11

[ACM Press the 40th International Conference - Gothenburg, Sweden (2018.05.27-2018.06.03)] Proceedings of the 40th International Conference on Software Engineering New Ideas and Emerging Results - ICSE-NIER '18 - Efficient parametric model checking using domain-specific modelling patterns

Calinescu, Radu, Johnson, Kenneth, Paterson, Colin

Year:

2018

Language:

english

File:

PDF, 204 KB

english, 2018

12

[IEEE 2008 8th IEEE International Symposium on Cluster Computing and the Grid (CCGrid) - Lyon, France (2008.05.19-2008.05.22)] 2008 Eighth IEEE International Symposium on Cluster Computing and the Grid (CCGRID) - WSRF-Based Modeling of Clinical Trial Information for Collaborative Cancer Research

Zang, Tianyi, Calinescu, Radu, Harris, Steve, Tsui, Andrew, Kwiatkowska, Marta, Gibbons, Jeremy, Davies, Jim, Maccallum, Peter, Caldas, Carlos

Year:

2008

Language:

english

File:

PDF, 331 KB

english, 2008

13

[ACM Press the 10th international ACM Sigsoft conference - Marcq-en-Bareul, France (2014.06.30-2014.07.04)] Proceedings of the 10th international ACM Sigsoft conference on Quality of software architectures - QoSA '14 - Efficient re-resolution of SMT specifications for evolving software architectures

Johnson, Kenneth, Calinescu, Radu

Year:

2014

Language:

english

File:

PDF, 1.20 MB

english, 2014

14

[ACM Press the 16th International ACM Sigsoft symposium - Vancouver, British Columbia, Canada (2013.06.17-2013.06.21)] Proceedings of the 16th International ACM Sigsoft symposium on Component-based software engineering - CBSE '13 - An incremental verification framework for component-based software systems

Johnson, Kenneth, Calinescu, Radu, Kikuchi, Shinji

Year:

2013

Language:

english

File:

PDF, 915 KB

english, 2013

15

[IEEE 2019 IEEE/ACM 2nd International Workshop on Robotics Software Engineering (RoSE) - Montreal, QC, Canada (2019.5.27-2019.5.27)] 2019 IEEE/ACM 2nd International Workshop on Robotics Software Engineering (RoSE) - Towards Systematic Engineering of Collaborative Heterogeneous Robotic Systems

Gerasimou, Simos, Matragkas, Nicholas, Calinescu, Radu

Year:

2019

File:

PDF, 117 KB

2019

16

Self-adaptive software needs quantitative verification at runtime

Calinescu, Radu, Ghezzi, Carlo, Kwiatkowska, Marta, Mirandola, Raffaela

Journal:

Communications of the ACM

Year:

2012

Language:

english

File:

PDF, 1.03 MB

english, 2012

17

[IEEE 2015 41st Euromicro Conference on Software Engineering and Advanced Applications (SEAA) - Madeira, Portugal (2015.8.26-2015.8.28)] 2015 41st Euromicro Conference on Software Engineering and Advanced Applications - A Multi-agent Framework for Dependable Adaptation of Evolving System Architectures

Johnson, Kenneth, Sinha, Roopak, Calinescu, Radu, Ruan, Ji

Year:

2015

Language:

english

File:

PDF, 412 KB

english, 2015

18

[IEEE 2015 IEEE/ACM 10th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS) - Florence, Italy (2015.5.18-2015.5.19)] 2015 IEEE/ACM 10th International Symposium on Software Engineering for Adaptive and Self-Managing Systems - Tele Assistance: A Self-Adaptive Service-Based System Exemplar

Weyns, Danny, Calinescu, Radu

Year:

2015

File:

PDF, 987 KB

2015

19

[IEEE 2014 IEEE Emerging Technology and Factory Automation (ETFA) - Barcelona, Spain (2014.9.16-2014.9.19)] Proceedings of the 2014 IEEE Emerging Technology and Factory Automation (ETFA) - A scalable approach for re-configuring evolving industrial control systems

Sinha, Roopak, Johnson, Kenneth, Calinescu, Radu

Year:

2014

Language:

english

File:

PDF, 755 KB

english, 2014

20

Large-scale complex IT systems

Sommerville, Ian, Cliff, Dave, Calinescu, Radu, Keen, Justin, Kelly, Tim, Kwiatkowska, Marta, Mcdermid, John, Paige, Richard

Journal:

Communications of the ACM

Year:

2012

Language:

english

File:

PDF, 527 KB

english, 2012

21

[ACM Press the 2008 conference - Ischia, Italy (2008.05.05-2008.05.07)] Proceedings of the 2008 conference on Computing frontiers - CF '08 - Methodology for the model-driven development of self-managing systems

Calinescu, Radu

Year:

2008

Language:

english

File:

PDF, 121 KB

english, 2008

22

[IEEE 2013 IEEE/ACM 28th International Conference on Automated Software Engineering (ASE) - Silicon Valley, CA, USA (2013.11.11-2013.11.15)] 2013 28th IEEE/ACM International Conference on Automated Software Engineering (ASE) - Developing self-verifying service-based systems

Calinescu, Radu, Johnson, Kenneth, Rafiq, Yasmin

Year:

2013

Language:

english

File:

PDF, 443 KB

english, 2013

23

Synthesis of probabilistic models for quality-of-service software engineering

Gerasimou, Simos, Calinescu, Radu, Tamburrelli, Giordano

Journal:

Automated Software Engineering

Year:

2018

Language:

english

File:

PDF, 1.92 MB

english, 2018

24

Isolation of Monilinia fructigena from the Idared Apple Variety in Order to Test Some Bio-Fungicides

Ungureanu, Camelia, Soare, Liliana Cristina, Calinescu, Mirela, Fierascu, Irina, Fierascu, Radu Claudiu

Journal:

Proceedings (American Bar Association. Section of International and Comparative Law)

Year:

2020

File:

PDF, 239 KB

2020

25

[Lecture Notes in Computer Science] Software Engineering and Formal Methods Volume 9276 || Memory Management Test-Case Generation of C Programs Using Bounded Model Checking

Calinescu, Radu, Rumpe, Bernhard

Year:

2015

Language:

english

File:

PDF, 726 KB

english, 2015

26

[ACM Press the 28th Annual ACM Symposium - Coimbra, Portugal (2013.03.18-2013.03.22)] Proceedings of the 28th Annual ACM Symposium on Applied Computing - SAC '13 - log2cloud

Perez-Palacin, Diego, Calinescu, Radu, Merseguer, José

Year:

2013

Language:

english

File:

PDF, 742 KB

english, 2013

27

[IEEE 2017 IEEE International Conference on Software Architecture (ICSA) - Gothenburg, Sweden (2017.4.3-2017.4.7)] 2017 IEEE International Conference on Software Architecture (ICSA) - Accurate Analysis of Quality Properties of Software with Observation-Based Markov Chain Refinement

Paterson, Colin, Calinescu, Radu

Year:

2017

Language:

english

File:

PDF, 639 KB

english, 2017

28

[IEEE 2008 IEEE Fourth International Conference on eScience (eScience) - Indianapolis, IN, USA (2008.12.7-2008.12.12)] 2008 IEEE Fourth International Conference on eScience - Metamodel-Based Generation of WSRF-Compliant SOA for Collaborative Cancer Research

Zang, Tianyi, Calinescu, Radu, Harris, Steve, Tsui, Andrew, Crichton, Charles, Kwiatkowska, Marta, Gibbons, Jeremy, Davies, Jim, Brenton, James, Caldas, Carlos

Year:

2008

Language:

english

File:

PDF, 180 KB

english, 2008

29

[IEEE 2014 IEEE/ACM 7th International Conference on Utility and Cloud Computing (UCC) - London, United Kingdom (2014.12.8-2014.12.11)] 2014 IEEE/ACM 7th International Conference on Utility and Cloud Computing - Re-engineering the Database Layer of Legacy Applications for Scalable Cloud Deployment

Ellison, Martyn, Calinescu, Radu, Paige, Richard

Year:

2014

Language:

english

File:

PDF, 126 KB

english, 2014

30

[ACM Press the 19th international doctoral symposium - Marcq-en-Bareul, France (2014.06.30-2014.07.04)] Proceedings of the 19th international doctoral symposium on Components and architecture - WCOP '14 - Semantic reasoning for autonomic IT systems

Patelli, Alina, Calinescu, Radu, Wang, Hai

Year:

2014

Language:

english

File:

PDF, 799 KB

english, 2014

31

[IEEE Third IEEE International Symposium on Dependable, Autonomic and Secure Computing (DASC 2007) - Columbia, MD, USA (2007.09.25-2007.09.26)] Third IEEE International Symposium on Dependable, Autonomic and Secure Computing (DASC 2007) - Challenges and Best Practices in Policy-Based Autonomic Architectures

Calinescu, Radu

Year:

2007

Language:

english

File:

PDF, 277 KB

english, 2007

32

[IEEE Fourth International Conference on Autonomic Computing (ICAC'07) - Jacksonville, FL, USA (2007.06.11-2007.06.15)] Fourth International Conference on Autonomic Computing (ICAC'07) - Model-Driven Autonomic Architecture

Calinescu, Radu

Year:

2007

Language:

english

File:

PDF, 117 KB

english, 2007

33

[IEEE 2017 IEEE International Conference on Software Architecture (ICSA) - Gothenburg, Sweden (2017.4.3-2017.4.7)] 2017 IEEE International Conference on Software Architecture (ICSA) - Designing Robust Software Systems through Parametric Markov Chain Synthesis

Calinescu, Radu, Ceska, Milan, Gerasimou, Simos, Kwiatkowska, Marta, Paoletti, Nicola

Year:

2017

Language:

english

File:

PDF, 615 KB

english, 2017

34

Engineering Trustworthy Self-Adaptive Software with Dynamic Assurance Cases

Calinescu, Radu, Weyns, Danny, Gerasimou, Simos, Iftikhar, Muhammad Usman, Habli, Ibrahim, Kelly, Tim

Journal:

IEEE Transactions on Software Engineering

Year:

2017

Language:

english

File:

PDF, 1.59 MB

english, 2017

35

[IEEE 2013 IEEE 5th International Conference on Cloud Computing Technology and Science (CloudCom) - Bristol, United Kingdom (2013.12.2-2013.12.5)] 2013 IEEE 5th International Conference on Cloud Computing Technology and Science - A Systematic Review of Cloud Lock-In Solutions

Silva, Gabriel Costa, Rose, Louis M., Calinescu, Radu

Year:

2013

Language:

english

File:

PDF, 260 KB

english, 2013

36

[IEEE 2009 14th IEEE International Conference on Engineering of Complex Computer Systems - Potsdam, Germany (2009.06.2-2009.06.4)] 2009 14th IEEE International Conference on Engineering of Complex Computer Systems - CONNECT Challenges: Towards Emergent Connectors for Eternal Networked Systems

Issarny, Valérie, Steffen, Bernhard, Jonsson, Bengt, Blair, Gordon, Grace, Paul, Kwiatkowska, Marta, Calinescu, Radu, Inverardi, Paola, Tivoli, Massimo, Bertolino, Antonia, Sabetta, Antonino

Year:

2009

Language:

english

File:

PDF, 258 KB

english, 2009

37

[Lecture Notes in Computer Science] Software Engineering and Formal Methods Volume 9509 || Dependable Composition of Software and Services in the Internet of Things: A Biological Approach

Bianculli, Domenico, Calinescu, Radu, Rumpe, Bernhard

Year:

2015

Language:

english

File:

PDF, 860 KB

english, 2015

38

[Lecture Notes in Computer Science] Software Engineering and Formal Methods Volume 9509 || Learning-Based Testing of Distributed Microservice Architectures: Correctness and Fault Injection

Bianculli, Domenico, Calinescu, Radu, Rumpe, Bernhard

Year:

2015

Language:

english

File:

PDF, 416 KB

english, 2015

39

[Lecture Notes in Computer Science] Software Engineering and Formal Methods Volume 9509 || Automated Synthesis of Protocol Converters with BALM-II

Bianculli, Domenico, Calinescu, Radu, Rumpe, Bernhard

Year:

2015

Language:

english

File:

PDF, 351 KB

english, 2015

40

[Lecture Notes in Computer Science] Software Engineering and Formal Methods Volume 9509 || Helping the Tester Get It Right: Towards Supporting Agile Combinatorial Test Design

Bianculli, Domenico, Calinescu, Radu, Rumpe, Bernhard

Year:

2015

Language:

english

File:

PDF, 145 KB

english, 2015

41

[IEEE 2013 IEEE 5th International Conference on Cloud Computing Technology and Science (CloudCom) - Bristol, United Kingdom (2013.12.2-2013.12.5)] 2013 IEEE 5th International Conference on Cloud Computing Technology and Science - Services2Cloud: A Framework for Revenue Analysis of Software-as-a-Service Provisioning

Johnson, Kenneth, Wang, Yuanzhi, Calinescu, Radu, Sommerville, Ian, Baxter, Gordon, Tucker, John V.

Year:

2013

Language:

english

File:

PDF, 516 KB

english, 2013

42

[IEEE 2015 IEEE/ACM 10th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS) - Florence, Italy (2015.5.18-2015.5.19)] 2015 IEEE/ACM 10th International Symposium on Software Engineering for Adaptive and Self-Managing Systems - Tele Assistance: A Self-Adaptive Service-Based System Exemplar

Weyns, Danny, Calinescu, Radu

Year:

2015

Language:

english

File:

PDF, 987 KB

english, 2015

43

Editorial

Calinescu, Radu, France, Robert, Ghezzi, Carlo

Journal:

Year:

2013

Language:

english

File:

PDF, 54 KB

english, 2013

44

[ACM Press the 9th International Symposium - Hyderabad, India (2014.06.02-2014.06.03)] Proceedings of the 9th International Symposium on Software Engineering for Adaptive and Self-Managing Systems - SEAMS 2014 - Efficient runtime quantitative verification using caching, lookahead, and nearly-optimal reconfiguration

Gerasimou, Simos, Calinescu, Radu, Banks, Alec

Year:

2014

Language:

english

File:

PDF, 1.38 MB

english, 2014

45

[Lecture Notes in Computer Science] Software Engineering and Formal Methods Volume 9276 || Reasoning about Separation Using Abstraction and Reification

Calinescu, Radu, Rumpe, Bernhard

Year:

2015

Language:

english

File:

PDF, 494 KB

english, 2015

46

[Lecture Notes in Computer Science] Software Engineering and Formal Methods Volume 9509 || Clustering Formulation Using Constraint Optimization

Bianculli, Domenico, Calinescu, Radu, Rumpe, Bernhard

Year:

2015

Language:

english

File:

PDF, 637 KB

english, 2015

47

Spatial distribution of roots in medium-textured soils in the case of cherry trees grafted on Gi Sel A5 rootstock

Paltineanu, Cristian, Nicolae, Silvia, Militaru, Madalina, Butac, Madalina, Chitu, Emil, Tanasescu, Nicolae, Calinescu, Mirela, Coman, Radu

Journal:

Scientia Horticulturae

Year:

2017

Language:

english

File:

PDF, 1.53 MB

english, 2017

48

[IEEE 2017 IEEE International Conference on Software Architecture Workshops (ICSAW) - Gothenburg, Sweden (2017.4.5-2017.4.7)] 2017 IEEE International Conference on Software Architecture Workshops (ICSAW) - Software Quality Analysis with Observation-Enhanced Quantitative Verification (Tutorial)

Calinescu, Radu

Year:

2017

Language:

english

File:

PDF, 394 KB

english, 2017

49

Efficient synthesis of robust models for stochastic systems

Calinescu, Radu, Češka, Milan, Gerasimou, Simos, Kwiatkowska, Marta, Paoletti, Nicola

Journal:

Journal of Systems and Software

Year:

2018

Language:

english

File:

PDF, 5.05 MB

english, 2018

50

[Lecture Notes in Computer Science] Software Engineering for Resilient Systems Volume 11732 (11th International Workshop, SERENE 2019, Naples, Italy, September 17, 2019, Proceedings) ||

Calinescu, Radu, Di Giandomenico, Felicita

Year:

2019

Language:

english

File:

PDF, 8.86 MB

english, 2019

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@1delivery.pm

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски